Nuprl Definition : es-info
11,40
postcript
pdf
es-info(
es
;
e
) == <es-kind(
es
;
e
), es-state-when(
es
;
e
), es-val(
es
;
e
)>
latex
Definitions
es-kind(
es
;
e
)
,
es-state-when(
es
;
e
)
,
es-val(
es
;
e
)
FDL editor aliases
es-info
origin